Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
471	Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practi Add to Reading List Source URL: www.modern-medical-science.site88.net Language: English - Date: 2013-02-01 20:00:14 Non-classical logic Metalogic Model theory Entailment Interpretation Many-valued logic Modal logic Newton da Costa Logical connective Logic Philosophical logic Paraconsistent logic
472	Calculating Graph Algorithms for Dominance and Shortest Path⋆ Ilya Sergey1 , Jan Midtgaard2 , and Dave Clarke1 1 KU Leuven, Belgium Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2014-05-28 18:27:05 Group actions Group theory Abstract interpretation Galois connection Order theory Structure Orbifold Holomorphic functional calculus Abstract algebra Mathematics Algebra
473	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
474	The Michelson-Morley Experiment in Ontic and Epistemic Space by A. F. Kracklauer Abstract The Michelson-Morley experiment is reanalyzed from the view point of an interpretation of Special Relativity based on the supposit Add to Reading List Source URL: www.nonloco-physics.0catch.com Language: English - Date: 2011-07-09 19:49:42 Length contraction Lorentz transformation Introduction to special relativity Michelson–Morley experiment Aberration of light Time dilation Kinematics Interference Speed of light Relativity Special relativity Physics
475	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-03 11:43:14 Electronic design automation Logic in computer science NP-complete problems Abstract interpretation Symbolic execution Satisfiability Modulo Theories Solver Theoretical computer science Applied mathematics Formal methods
476	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
477	Multimedia Interpretation as Abduction S. Espinosa Peraldi, A. Kaya, S. Melzer, R. M¨oller, M. Wessel Hamburg University of Technology, Germany Abstract. In this work we present an approach to interpret information extr Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Charles Sanders Peirce Abductive reasoning Epistemology Critical thinking Abox Tbox Inference Logic Reasoning Ontology
478	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
479	ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-12-16 11:38:46 Concolic testing Algorithm Ln Mathematics Software testing Abstract interpretation Symbolic execution Computing
480	Abstract Interpretation Using Laziness: Proving Conway’s Lost Cosmological Theorem Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-14 13:01:57 Combinatorics Logical syntax Combinatorics on words Mathematical logic Formal proof Logical truth Theorem Mathematical proof Haskell Logic Mathematics Formal languages

UPDATE